Conditions suffisantes d'équirépartition modulo 1 de suites $(f(n))_{n∊N}$ et $(f(p_n))_{n∊N}$

Conditions d’optimalité du second ordre nécessaires ou suffisantes pour les problèmes de commande optimale avec une contrainte sur l’état et une commande scalaires

Dans cette Note, nous étudions un problème de commande optimale avec une commande scalaire et une contrainte sur l’état scalaire d’ordre quelconque. Les instants de jonction sont supposés en nombre fini. Nous obtenons des conditions d’optimalité du second ordre nécessaires ou suffisantes, qui permettent de caractériser la croissance quadratique. Pour citer cet article : J.F. Bonnans, A. Hermant...

Agrégation Interne 1998 – 2é Epreuve Partie I a – Suites Presque Convergentes Et Moyenne De Cesaro

3/a) On peut éliminer le cas où bn est nul à partir d’un certain rang (ceci ne peut se produire que si tous le an sont nuls) ; dans ce cas il suffit de prendre un = 1/n. Posons vn = supp≥n bp et un = √ vn. La suite (vn) est une suite décroissante de réels strictement positifs, tend vers 0 car bn → 0, et bn ≤ vn pour tout n ∈ N∗. La suite (un) tend donc vers 0 en décroissant, et puisque bn/un ≤ ...

L’involution De Zelevinski Modulo

Let F be a non-Archimedean locally compact field with residual characteristic p, let G be an inner form of GLn(F), n 1 and let R be an algebraically closed field of characteristic different from p. When R has characteristic > 0, the image of an irreducible smooth R-representation π of G by the Aubert involution need not be irreducible. We prove that this image (in the Grothendieck group of G) c...

Algèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq)

ing from the implementation. The semantics of a circuit defines precisely its behaviour, but may be too precise, e.g., it may leak some internal implementation details (recall that it is defined by induction over the structure of the circuit). The standard technique [112] to prove that circuits meet some high-level specifications is to prove the following kind of entailment, where the high-leve...

Purification et concentrations des plasmas antitoxiques. 1 - Historique, techniques industrielles et choix de la méthode adoptee en Iran